81. Security for service oriented architectures
پدیدآورنده : Williams, Walter, Walter Williams
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Service-oriented architecture )Computer science(,Security measures ، Computer networks,، Computer security,، COMPUTERS / Software Development & Engineering / General,، COMPUTERS / Security / General,، COMPUTERS / Internet / General
رده :
TK
5105
.
5828
.
W5
82. Self-Adaptive Software:
پدیدآورنده : edited by Robert Laddaga, Howie Shrobe, Paul Robertson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks,Computer science,Software engineering
83. Software Composition
پدیدآورنده : edited by Thomas Gschwind, Flavio Paoli, Volker Gruhn, Matthias Book
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
84. Software Engineering for Resilient Systems :
پدیدآورنده : edited by Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
85. Software Service and Application Engineering
پدیدآورنده : edited by Maritta Heisel
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks,Computer science,Logic design,Software engineering,Computation by Abstract Devices,Computer Communication Networks,Computer Science,Information Systems Applications (incl. Internet),Logics and Meanings of Programs,Software Engineering
86. Software System Design Methods :
پدیدآورنده : edited by Jozef K. Skwirzynski.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
76
.
D47
E358
1986
87. Software and network engineering
پدیدآورنده : Roger Lee (ed.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
A25
2012eb
88. Software engineering, artificial intelligence, networking and parallel/distributed computing 2011
پدیدآورنده : Roger Lee (Ed.)
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Software engineering,Artificial intelligence,Parallel processing (Electronic computers),Computer networks, Congresses,Electronic data processing, Distributed processing, Congresses
رده :
QA
،
76
.
758
،.
S6457
،
2011
89. Software-intensive verteilte Echtzeitsysteme
پدیدآورنده : Wolfgang A. Halang, Peter Holleczek (Hrsg.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer network architectures.,Computer networks.,Computer science.,Software engineering.
90. Softwaretechnik für verteilte Systeme
پدیدآورنده : von Jürgen Nehmer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
91. System Analysis and Modeling: About Models
پدیدآورنده : edited by Frank Alexander Kraemer, Peter Herrmann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks.,Computer science.,Information storage and retrieval systems.,Logic design.,Software engineering.
92. Telepresence
پدیدآورنده : edited by P. J. Sheppard, G. R. Walker.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Multimedia systems.,Software engineering.
93. The Temporal Logic of Reactive and Concurrent Systems :
پدیدآورنده : by Zohar Manna, Amir Pnueli.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
6
B996
1992
94. Theory and Practice of Model Transformations :
پدیدآورنده : edited by Jordi Cabot, Eelco Visser.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
76
.
D47
E358
2011
95. Theory and Practice of Model Transformations
پدیدآورنده : edited by Zhenjiang Hu, Juan Lara
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks,Computer science,Logic design,Software engineering,Computer Communication Networks,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Languages, Compilers, Interpreters,Software Engineering
96. Theory and practice of natural computing :Third International Conference, TPNC 2014, Granada, Spain, December 9-11, 2014. Proceedings
پدیدآورنده : Dediu, Adrian-Horia
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Computer Communication Networks,، Software engineering
رده :
QA
76
.
9
.
T68
2014
97. Towards Autonomous Robotic Systems
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Artificial intelligence. ; Software engineering. ; Computer Communication Networks. ; Computer vision. ; Computer software. ; Artificial Intelligence. ;
98. Understanding Agent Systems
پدیدآورنده : by Mark d'Inverno, Michael Luck.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
99. Verification, Model Checking, and Abstract Interpretation :
پدیدآورنده : edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2013
100. Vernetzte und komplexe Informatik-Systeme :
پدیدآورنده : herausgegeben von Bernd E. Wolfinger.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
5
H473
1988
